The Relational Model for Database Management: Version 2